Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
701	Monte Carlo Sampling for Regret Minimization in Extensive Games Kevin Waugh School of Computer Science Carnegie Mellon University Pittsburgh PA Add to Reading List Source URL: mlanctot.info Language: English - Date: 2014-03-22 10:55:56 Structure Independence Mathematics Logic Probability theory Determinacy Extensive-form game
702	Dr. Ezio Bartocci Curriculum Vitae Personal Information Gender: Add to Reading List Source URL: www.eziobartocci.com Language: English - Date: 2015-04-10 06:06:57 University of Camerino Computer science Institute of Science and Technology Austria Agent-based model Runtime verification Edmund M. Clarke Systems engineering Academia Software development Science Formal methods Logic in computer science
703	Using Genetic Improvement & Code Transplants to Specialise a C++ Program to a Problem Class Justyna Petke1 , Mark Harman1 , William B. Langdon1 , and Westley Weimer2 1 2 Add to Reading List Source URL: www.genetic-programming.org Language: English - Date: 2014-07-05 17:14:07 Electronic design automation Formal methods Logic in computer science NP-complete problems Mathematical optimization Boolean satisfiability problem Mutation Genetic programming Solver Theoretical computer science Applied mathematics Mathematics
704	Counterexample-guided Cartesian Abstraction Refinement Jendrik Seipp and Malte Helmert Universit¨at Basel Basel, Switzerland {jendrik.seipp,malte.helmert}@unibas.ch Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-04-08 08:41:11 Philosophy of mind Programming paradigms Theoretical computer science Model checking Abstraction Logic in computer science Concept Heuristic function Combinatory logic Thought Cognition Mind
705	Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 19:11:23 Automated theorem proving Constraint programming Formal methods Logic in computer science Electronic design automation DPLL algorithm Satisfiability Modulo Theories Boolean satisfiability problem Resolution Theoretical computer science Mathematics Mathematical logic
706	Conflict Detection And Resolution in NMAS: An Argumentation Based Approach Zohreh Shams Department of Computer Science University of Bath, United Kingdom Add to Reading List Source URL: www.dcs.kcl.ac.uk Language: English - Date: 2013-06-10 07:49:00 Critical thinking Philosophy of language Philosophy Arguments Debating Argumentation theory Norm Social simulation Defeasible reasoning Logic Science Knowledge
707	Computing the Top-k Maximal Answers in a Join of Ranked Lists∗ Mirit Shalem Yaron Kanza Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-01-20 12:02:11 Sorting algorithms Algorithm Mathematical logic Theoretical computer science
708	Call for Papers STACS 2009 26th International Symposium on Theoretical Aspects of Computer Science February 26-28, 2009; Freiburg, Germany Program Committee Susanne Albers, U Freiburg (co-chair) Add to Reading List Source URL: stacs2009.informatik.uni-freiburg.de Language: English - Date: 2008-05-21 04:30:44 Computer science Academic publishing University of Freiburg Susanne Albers Proceedings IEEE Symposium on Logic in Computer Science Electronic submission CONFER Theoretical computer science Symposium on Theoretical Aspects of Computer Science Academia
709	Full reduction in the face of absurdity Gabriel Scherer, Didier R´emy Gallium – INRIA October 28, 2014 Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2014-10-28 06:28:38 Mathematical logic Computability theory Lambda calculus Proof theory Orbifold Natural deduction Theoretical computer science Models of computation Applied mathematics
710	A User’s Guide to Proving Programs Correct with the Sunrise Verification System version 7.3 Peter Vincent Homeier Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2005-02-11 11:40:50 Formal methods Logic in computer science Archive formats Automated theorem proving Gzip Formal verification HOL Tar Theorem Proving in Higher-Order Logics Theoretical computer science Software Applied mathematics

UPDATE